proposition world

命题世界